string logical programs